1. مباني نظريه محاسبات
پدیدآورنده : / تاليف هري لويس، کريستوز پاپاديميترو,عنوان اصلي: Elements of the theory of compution, 2ed. ,c1998,لوئيس,Lewis
کتابخانه: كتابخانه آيت الله وزيری (آستان قدس رضوی ع) (یزد)
موضوع : نظريه ماشين,منطق رياضي,پيچيدگي محاسباتي
رده :
۵۱۱
/
۳
ل
۸۲۳
م
2. مبانی نظریه محاسبات
پدیدآورنده : / تالیف هری لویس ، کریستوز پاپا دیمیترو,عنوان‌اصلی: Elements of the theory of computation.c 1998
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : نظریه ماشین,منطق ریاضی,پیچیدگی محاسباتی
رده :
QA
۲۹۷
/
ل
۹
م
۲ ۱۳۸۵
3. مبانی نظریه محاسبات (نظریه زبانها و ما‌شین‌ها)
پدیدآورنده : لوئیس، هری Lewis, Harry R
موضوع : نظریه ماشین,منطق ریاضی,پیچیدگی محاسباتی,منطق ریاضی
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. مباني نظريه محاسبات (نظريه زبانها و ماشين‌ها)
پدیدآورنده : تاليف هري لويس, کريستوز پاپا ديميترو,ترجمه حسن تفضلي, فاطمه آقايي
موضوع : نظريه ماشين پيچيدگي محاسباتي منطق رياضي منطق رياضي
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. مبانی نظریه محاسبات (نظریه زبانها و ما‌شین‌ها)
پدیدآورنده : لوئیس، هری
کتابخانه: کتابخانه کوثر دانشگاه قم (قم)
موضوع : زبا‌نها‌ی صوری,نظریه ماشین,منطق ریاضی,پیچیدگی محاسباتی,منطق ریاضی
رده :
QA
۲۶۷
/
۳
/
ل
۹
م
۲ ۱۳۸۵
